Koha online catalog › Results of search for 'su:"Operating systems"'

Log in

	1.	Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings by Anderson, Stuart \| Felici, Massimo \| Littlewood, Bev. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1). Place hold
	2.	Information and Communications Security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : Proceedings by Qing, Sihan \| Gollmann, Dieter \| Zhou, Jianying. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 QIN] (1). Place hold
	3.	Information Security : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003 : Proceedings by Boyd, Colin \| Mao, Wenbo. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BOY] (1). Place hold
	4.	Communications and Multimedia Security : Advanced Techniques for Network and Data Protection : 7th IFIP-TC6 TC11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003 : Proceeding by Lioy, Antonio \| Mazzocchi, Daniele. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIO] (1). Place hold
	5.	Ad-hoc, Mobile, and Wireless Networks : Second International Conference, ADHOC-NOW 2003, Montreal, Canada, October 8-10, 2003 : Proceedings by Pierre, Samuel \| Barbeau, Michel \| Kranakis, Evangelos. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PIE] (1). Place hold
	6.	Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers by Priami, Corrado. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PRI] (1). Place hold
	7.	Security Protocols : 10th International Workshop, Cambridge, UK, April, 2002 : Revised Papers by Christianson, Bruce. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 CHR] (1). Place hold
	8.	Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems by Rust, Heinrich. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1). Place hold
	9.	Cryptographic Hardware and Embedded Systems - CHES 2003: 5th International Workshop Cologne, Germany, September 8-10, 2003: Proceedings by Wlater, Colin D \| Koc, Cetin Kaya \| Paar, Christof. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 WLA] (1). Place hold
	10.	Recent Advances in Intrusion Detection : 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003 : Proceedings by Vigna, Giovanni \| Jonsson, Erland \| Kruegel, Christopher. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 VIG] (1). Place hold
	11.	Cryptographic Hardware and Embedded Systems CHES 2001: Third International Workshop Paris, France, May 14-16, 2001 Proceedings by Koc, Cetin Kaya \| Naccache, David \| Paar, Christof. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 KOC] (1). Place hold
	12.	Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : Proceedings by Guerraoui, Rachid. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 GUE] (1). Place hold
	13.	Universal routing strategies for interconnection networks by Scheideler, Christian. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 004 SCH] (1). Place hold
	14.	Composition of Secure Multi-Party Protocols : Comprehensive Study by Lindell, Yehuda. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIN] (1). Place hold
	15.	Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings by Saraswat, Vijay A. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SAR] (1). Place hold
	16.	Database and XML Technologies : First International XML Database Symposium, XSym 2003, Berlin, Germany, September 2003 ; Proceedings by Bellahsene, Zohra. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 004 BEL] (1). Place hold
	17.	Computer Security – ESORICS 2003: 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003. Proceedings by Snekkenes, Einar \| Gollmann, Dieter. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SNE] (1). Place hold
	18.	Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : Advanced Lectures by Bernardo, Marco \| Inverardi, Paola. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1). Place hold
	19.	Computer Network Security : Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003 : Proceedings by Gorodetsky, Vladimir \| Popyack, Leonard \| Skormin, Victor. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 GOR] (1). Place hold

Powered by Koha